home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / tests / circs.T next >
Encoding:
Text File  |  1994-08-02  |  712 b   |  20 lines
  1. .geometry "version 0.1";
  2. v1 = .free(0, 0, .invisible, .L0, "1");
  3. v2 = .free(0.2, 0, .invisible, .L0, "2");
  4. v3 = .free(0.4, 0, .invisible, .L0, "3");
  5. v4 = .free(0.6, 0, .invisible, .L0, "4");
  6. v5 = .free(0.8, 0, .invisible, .L0, "5");
  7. v6 = .free(1, 0, .invisible, .L0, "6");
  8. c1 = .c.vv(v1, v2, .L0);
  9. c2 = .c.vv(v1, v3, .L0);
  10. c3 = .c.vv(v1, v4, .L0);
  11. c4 = .c.vv(v1, v5, .L0);
  12. c5 = .c.vv(v1, v6, .L0);
  13. v7 = .vonc(c5, 0.707107, 0.707107, .invisible, .L0, .cross);
  14. v8 = .vonc(c5, 0, 1, .invisible, .L0, .cross);
  15. l1 = .l.vv(v6, v1, .L0, .longline);
  16. l2 = .l.vv(v1, v7, .L0, .longline);
  17. l3 = .l.vv(v8, v1, .L0, .longline);
  18. v9 = .vonc(c5, 0.707107, -0.707107, .invisible, .L0, .cross);
  19. l4 = .l.vv(v9, v1, .L0, .longline);
  20.